$\forall$${\it es}$:ES, $a$:Atom1, $e$:E. $e$ receives $a$ $\in$ Prop